formal semantics

In order to inquiry into function dependency in data base, the formal definition and semantics of dependency of knowledge are also discussed in the paper.

为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。

The History and Framework of Formal Semantics

形式语义学的历史渊源和理论框架

UML contains different kinds of views, semiformal semantics of mata model and formal constraints to the elements of design.

它为设计人员提供了各种各样的视图、半形式化的元模型语义、对设计元素的形式化逻辑约束。

Formal Analysis for Network Security Protocols Based on Trace Semantics

基于迹语义的网络安全协议形式化分析

A Formal Semantics of Agent Organization Structure Design

Agent组织结构设计的一种形式语义

On Interactive Model of Web Services Base on Formal Semantics

基于形式语义的Web服务交互模型

However, its lack of rigor and formal semantics prevents it further developing.

但uml没有精确的、形式化的语义阻碍了它的进一步发展.

ADLs ( Architecture Description Language) are formal semantics-based languages supporting for describing and analyzing software architecture. The research on ADLs has become a hotspot of software engineering.

软件体系结构描述语言ADL（architecture description language，ADL）具有严格的形式化语义基础，为软件体系结构的表示与分析提供支持，已成为软件工程研究领域的热点。

Multi-paradigm Based Instruction Assistant System for Formal Semantics Course

基于多语言范例的形式语义学教学辅助系统

This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.

本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。